大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号：
作者：Lea、 Doug.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号：
作者：Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

0
索取号：
作者：Nanya、 Takashi.、Maruyama、 Fumihiro.、Pataricza、 Andr谩s.、Malek、 Miroslaw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

0
索取号：
作者：An、 Aijun.、Matwin、 Stan.、Ra艣、 Zbigniew W.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Boundary Element Methods [electronic resource]

0
索取号：
作者：Sauter、 Stefan A.、Schwab、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

0
索取号：
作者：Guo、 Minyi.、Yang、 Laurence T.、Martino、 Beniamino.、Zima、 Hans P.、Dongarra、 Jack.、Tang、 Feilong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

0
索取号：
作者：Maglaveras、 Nicos.、Chouvarda、 Ioanna.、Koutkias、 Vassilis.、Brause、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Implementing Models in Quantitative Finance: Methods and Cases [electronic resource]

0
索取号：
作者：Fusai、 Gianluca.、Roncoroni、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Riemann Solvers and Numerical Methods for Fluid Dynamics [electronic resource] : A Practical Introduction

0
索取号：
作者：Toro、 Eleuterio F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

0
索取号：
作者：Datta、 Ajoy K.、Gradinariu、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings

0
索取号：
作者：Asano、 Tetsuo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [electronic resource] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

0
索取号：
作者：Matsumoto、 Yuji.、Sproat、 Richard W.、Wong、 Kam-Fai.、Zhang、 Min.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings

0
索取号：
作者：Huo、 Qiang.、Ma、 Bin.、Chng、 Eng-Siong.、Li、 Haizhou.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Research Methods in Urban and Regional Planning [electronic resource]

0
索取号：
作者：Wang、 Xinhao.、Hofe、 Rainer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Controlled Nanoscale Motion [electronic resource] : Nobel Symposium 131

0
索取号：
作者：Linke、 Heiner.、M氓nsson、 Alf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Web and Wireless Geographical Information Systems [electronic resource] : 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006. Proceedings

0
索取号：
作者：Carswell、 James D.、Tezuka、 Taro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.